Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System
نویسنده
چکیده
Due to increasing complexity of hardware and software systems , connguration management has been receiving more and more attention in nearly all engineering domains (e.g. electrical, mechanical, and software engineering). This observation has driven us to develop a con-guration management model (called CoMa) for managing systems of engineering design documents. The CoMa model integrates composition hierarchies, dependencies, and versions into a coherent framework based on a sparse set of essential connguration management concepts. In order to give a clear and comprehensible speciication, the CoMa model is deened in a high-level, multi-paradigm speciication language (PRO-GRES) which combines concepts from various disciplines (database systems , knowledge-based systems, graph rewriting systems, programming languages).
منابع مشابه
A Graph-Based System for Managing Configurations of Engineering Design Documents
Due to increasing complexity of hardware and software systems, configuration management has been receiving more and more attention in nearly all engineering domains (e.g. electrical, mechanical, and software engineering). This observation has driven us to develop a domain–independent and adaptable configuration management model (called CoMa) for managing systems of engineering design documents....
متن کاملImplementation of the imperative / rule based language PROGRES
The work reported here is part of the PROGRES (PROgrammed Graph Rewriting Systems) project. PROGRES is a very high level multi paradigm language for the specification of complex structured data types and their operations. The data structures are modelled as directed, attributed, node and edge labelled graphs (diane graphs). The basic programming constructs of PROGRES are graph rewriting rules (...
متن کاملProgrammed Graph Rewriting with Time for Simulation-Based Design
The Discrete EVent system Specification (DEVS) formalism allows for highly modular, hierarchical modelling of timed, reactive systems. DEVS can be used to describe complex control structures for programmed graph transformation. A side-effect of this approach is the introduction of an explicit notion of time. In this paper we show how the explicit notion of time allows for the simulation-based d...
متن کاملGraph-based Product and Process Management in Mechanical Engineering
Development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task. Thus, sophisticated tools for supporting the management of development products, processes, and resources are urgently needed. We report on a management system which we designed and implemented in a joint project with mechanical engineers. The system was developed from a high-le...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کامل